1. $T$ : Type
\\[0ex]2. $R$ : $T$$\rightarrow$$T$$\rightarrow\mathbb{P}$
\\[0ex]3. $a$ : $T$
\\[0ex]4. $b$ : $T$
\\[0ex]5. $R$($a$,$b$)
\\[0ex]6. $\neg$$R$($b$,$a$)
\\[0ex]7. $a$ = $b$
\\[0ex]$\vdash$  False